-
1 доказательство
[lang name="Russian"]основательные, серьёзные доказательства — foundational proof
-
2 доказательство
основательные, серьёзные доказательства — foundational proof
Русско-английский военно-политический словарь > доказательство
-
3 неопровержимое доказательство
1. conclusive evidenceотрицающее, опровергающее доказательство — negative evidence
окончательное, решающее доказательство — conclusive evidence
никаких улик, ни тени доказательства — not a rag of evidence
2. infallible proofосновательные, серьёзные доказательства — foundational proof
Русско-английский большой базовый словарь > неопровержимое доказательство
-
4 косвенное доказательство
[lang name="Russian"]основательные, серьёзные доказательства — foundational proof
Русско-английский научный словарь > косвенное доказательство
-
5 формальное доказательство
основательные, серьёзные доказательства — foundational proof
Русско-английский словарь по информационным технологиям > формальное доказательство
-
6 представлять доказательство
основательные, серьёзные доказательства — foundational proof
Бизнес, юриспруденция. Русско-английский словарь > представлять доказательство
-
7 служивший доказательством
основательные, серьёзные доказательства — foundational proof
Русско-английский военно-политический словарь > служивший доказательством
-
8 основательные доказательства
Law: foundational proofУниверсальный русско-английский словарь > основательные доказательства
-
9 серьёзные доказательства
Law: foundational proofУниверсальный русско-английский словарь > серьёзные доказательства
См. также в других словарях:
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Twelf — is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.Introduction At its simplest, a Twelf program (called a signature ) is a collection of declarations of… … Wikipedia
Scientific evidence (law) — This article is about the legal concept. For scientific evidence in pure science, see Scientific evidence. History Educating witness Role The educating witness teaches the fact finder (jury or, in a bench trial, judge) about the underlying… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Cessationism versus Continuationism — is a Christian theological dispute concerned with the question whether the charismatic gifts are currently in operation. Contents 1 Problems in the dispute 2 Restrictions on the topics 3 Cessationist U … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Foundations of mathematics — is a term sometimes used for certain fields of mathematics, such as mathematical logic, axiomatic set theory, proof theory, model theory, and recursion theory. The search for foundations of mathematics is also a central question of the philosophy … Wikipedia
List of important publications in mathematics — One of the oldest surviving fragments of Euclid s Elements, found at Oxyrhynchus and dated to circa AD 100. The diagram accompanies Book II, Proposition 5.[1] This is a list of important publications in mathematics, organized by field. Some… … Wikipedia
Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects … Wikipedia